Actions and Speciicity
نویسنده
چکیده
A solution to the problem of speciicity in a resource{oriented deductive approach to actions and change is presented. Speciicity originates in the problem of overloading methods in object oriented frameworks but can be observed in general applications of actions and change in logic. We give a uniform solution to the problem of speciicity culminating in a completed equational logic program with an equational theory. We show the soundness and completeness of SLDENF{resolution, ie. SLD{resolution augmented by negation{as{failure and by an equational theory, wrt the completed program. Finally, the expressiveness of our approach for performing general reasoning about actions, change, and causality is demonstrated.
منابع مشابه
Object Recognition: View-speciicity and Motion-speciicity
This paper describes an experiment to distinguish between two theories of human visual object recognition. According to the view-speciicity hypothesis, object recognition is based on particular learned views, whereas the motion-speciicity hypothesis states that object recognition depends on particular directed view-sequences. Both hypotheses imply a degree of view-bias (i.e. recognition of a gi...
متن کاملOn Speciicity in Default Logic
The applicability of lexicographic comparison in nonmonotonic reasoning with speciicity is investigated. A priority mechanism based on lexicographic comparison is deened for Reiter's default logic. The following principle earlier used by Geener and Pearl in conditional entail-ment is used as the basis for speciicity-based priorities for normal default theories: for each rule there is a context ...
متن کاملCepstral Statistics within Phonetic Subgroups
The identiication of aspects of cepstral features that contain a high degree of speaker speciicity potentially can simplify the task of speaker recognition. The identiication process can be performed both temporally and cepstrally. The temporal analysis determines which phonemes or utterances exhibit the highest degree of speaker speciicity, while the cepstral analysis examines individual cepst...
متن کاملObjects, Speciicity, Logic, and Chance
Recent deductive approaches to reasoning about action and chance allow to model objects and methods in a deductive framework. In these approaches, inheritance of methods comes for free whereas overriding of methods is unsupported. In this paper , we present an equational logic framework for objects, methods, inheritance and overriding of methods. Overriding is achieved via the concept of specii...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993